منابع مشابه
Optimization of Drilling Layouts Based on Controlled Presplitting Blasting through Strata for Gas Drainage in Coal Roadway Strips
The controlled presplitting blasting technique is widely used in mining engineering to improve the permeability and gas extraction efficiency of coal seams. One of the key factors is the appropriate arrangement of the blasting and drainage holes, which can help improve the gas drainage quantity. To optimize the drilling layout to enhance gas-drainage efficiency, a series of controlled presplitt...
متن کاملBLAST++: BLASTing queries in batches
UNLABELLED BLAST++ is a tool that is integrated with NCBI BLAST, allowing multiple, say K, queries to be searched against a database concurrently. The results obtained by BLAST++ are identical to that obtained by executing BLAST on each of the K queries, but BLAST++ completes the processing in a much shorter time. AVAILABILITY http://xena1.ddns.comp.nus.edu.sg/~genesis/blast++ SUPPLEMENTARY...
متن کاملBit-Blasting ACL2 Theorems
Interactive theorem proving requires a lot of human guidance. Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDDor SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and a...
متن کاملBlasting Linux Code
Computer programs can only run reliably if the underlying operating system is free of errors. In this paper we evaluate, from a practitioner’s point of view, the utility of the popular software model checker Blast for revealing errors in Linux kernel code. The emphasis is on important errors related to memory safety in and locking behaviour of device drivers. Our conducted case studies show tha...
متن کاملBLASTing proteomes, yielding phylogenies
We develop a procedure called RiPE (Retrieval-induced Phylogeny Environment) that automatically performs an evolutionary analysis of a protein (sub)family, (i) by retrieving the relevant sequences via a homology search, (ii) by using the search report to construct the alignment using only homologous subsequences (taking into account their neighborhood with a low chance of homology), (iii) by re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mining and Metallurgical Institute of Japan
سال: 1967
ISSN: 0369-4194,2185-6729
DOI: 10.2473/shigentosozai1953.83.956_1589